- предваренная формула
- prenex formula
Русско-английский технический словарь.
предваренная формула
Смотреть что такое "предваренная формула" в других словарях:
ПРЕДВАРЕННАЯ ФОРМУЛА — формула узкого исчисления предикатов (УИП), имеющая вид где Qi обозначает квантор всеобщности или квантор существования $, переменные х i, xj различны при и Y формула, не содержащая кванторов. П. ф. наз. также предваренными нормальными формами… … Математическая энциклопедия
